(if (a (lambda (b) x)) ((lambda x c) d) (e f))